12

A type system for certified binaries

Year:
2002
Language:
english
File:
PDF, 281 KB
english, 2002
14

Intensional analysis of quantified types

Year:
2003
Language:
english
File:
PDF, 719 KB
english, 2003